axiom of substitution

[数] 替换公理

热门查询